Nuprl Lemma : bfalse_wf
9,38
postcript
pdf
ff
latex
ProofTree
Definitions
ff
,
,
t
T
Lemmas
unit
wf
,
it
wf
origin
T